﻿<Window x:Class="PMisuseAn.AdaptationMgtConfigWindow"
        xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
        xmlns:d3="clr-namespace:Microsoft.Research.DynamicDataDisplay;assembly=DynamicDataDisplay"            
        xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
        Title="Caprice: Adaptation Management Config." Height="537" Width="1140" Icon="images\title.ico" ResizeMode="NoResize">
    <!--Title="Caprice: Adaptation Management Config." Height="565" Width="1175" Icon="images\title.png" ResizeMode="NoResize">-->
    <Grid Height="495" Width="1115" Background="#FFEEFFFF">
        <GroupBox Header="Sensitivity level vs threat severity" Height="339" HorizontalAlignment="Left" Margin="290,2,0,0" Name="groupBox2" VerticalAlignment="Top" Width="286">
            <Grid Height="302" Width="273">
                <TextBox Background="#FFEEFFFF" BorderThickness="0" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="12,-6,0,282" Name="textBox1" Text="Correlation:" TextWrapping="Wrap" VerticalAlignment="Center" VerticalContentAlignment="Center" Width="74" FontSize="11" />
                <RadioButton Content="+ve" GroupName="att_val_correlation" Height="16" HorizontalAlignment="Left"  Margin="100,1,0,0" Name="value_of_att_cor_pve_rb" VerticalAlignment="Top" FontSize="11" Checked="cb_Checked" />
                <RadioButton Content="-ve" GroupName="att_val_correlation" Height="16" HorizontalAlignment="Left" Margin="144,1,0,0" Name="value_of_att_cor_nve_rb" VerticalAlignment="Top" FontSize="11" Checked="cb_Checked" />
                <TextBox Height="23" HorizontalAlignment="Left" Margin="98,23,0,0" Name="att_value_correlation_damping_factor_tb" VerticalAlignment="Top" Width="98" FontSize="11" KeyUp="keyPressedFreqCC" />
                <Label Content="Utility Weight:" Height="27" HorizontalAlignment="Left" Margin="1,53,0,0" Name="label1" VerticalAlignment="Top" FontSize="11" />
                <TextBox Height="23" HorizontalAlignment="Left" Margin="99,53,0,0" Name="kv_tb" VerticalAlignment="Top" Width="97" FontSize="11" />
                <TextBlock Height="34" HorizontalAlignment="Left" Margin="6,18,0,0" Name="textBlock2" Text="Threat severity damping factor:" TextWrapping="Wrap" VerticalAlignment="Top" Width="89" FontSize="11" />
                <RichTextBox Height="24" Width="37" Margin="194,53,42,225" Background="{x:Null}" BorderBrush="{x:Null}" IsReadOnly="True">
                    <FlowDocument>
                        <Paragraph>
                            k<Run FontSize="9" BaselineAlignment="Subscript">v</Run>
                        </Paragraph>
                    </FlowDocument>
                </RichTextBox>
                
                <!--<Label Height="28" HorizontalAlignment="Left" Margin="194,51,0,0" Name="label7" VerticalAlignment="Top">
                    <Image Source="images\utilityConstImg\kv.png" Width="17" Height="18" />
                </Label>-->
                <Grid Height="181" HorizontalAlignment="Left" Margin="12,88,0,0" Name="grid1" VerticalAlignment="Top" Width="253">
                    <d3:ChartPlotter LegendVisible="False" Name="plotter1">
                        <!--<d3:Header Content="U(Value of Info.)" FontFamily="Georgia" FontSize="12" d3:Plotter.IsDefaultElement="True" />-->
                        <d3:VerticalAxisTitle Content="threat severity" FontFamily="Segoe UI" FontSize="11" d3:Plotter.IsDefaultElement="True" />
                        <d3:HorizontalAxisTitle Content="sensitivity of Attribute (Va)." FontFamily="Segoe UI" FontSize="11" d3:Plotter.IsDefaultElement="True" />
                    </d3:ChartPlotter>
                </Grid>
                <CheckBox Content="Exp" Height="16" HorizontalAlignment="Left" Margin="201,25,0,0" Name="val_att_exp_cb" VerticalAlignment="Top" Checked="cb_Checked" Unchecked="cb_Checked" />
            </Grid>
        </GroupBox>
        <GroupBox Header="Obfuscation level vs threat severity" Height="336" HorizontalAlignment="Left" Margin="8,5,0,0" Name="groupBox4" VerticalAlignment="Top" Width="281">
            <Grid Height="300" Width="268">
                <TextBox Background="#FFEEFFFF" BorderThickness="0" Height="14" HorizontalAlignment="Left" IsReadOnly="True" Margin="5,-1,0,0" Name="textBox8" Text="Correlation:" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="74" FontSize="11" />
                <RadioButton Content="+ve" GroupName="gen_correlation" Height="16" HorizontalAlignment="Left" Margin="100,1,0,0" Name="att_gen_cor_pve_rb" VerticalAlignment="Top" FontSize="11" Checked="cb_Checked" />
                <RadioButton Content="-ve" GroupName="gen_correlation" Height="16" HorizontalAlignment="Left" Margin="144,1,0,0" Name="att_gen_cor_nve_rb" VerticalAlignment="Top" FontSize="11" Checked="cb_Checked" />
                <TextBox Height="23" HorizontalAlignment="Left" Margin="98,21,0,0" Name="att_generality_correlation_damping_factor_tb" VerticalAlignment="Top" Width="98" FontSize="11" KeyUp="keyPressedFreqCC" />
                <Label Content="Utility Weight:" Height="27" HorizontalAlignment="Left" Margin="1,49,0,0" Name="label4" VerticalAlignment="Top" FontSize="11" />
                <TextBox Height="23" HorizontalAlignment="Left" Margin="99,49,0,0" Name="kg_tb" VerticalAlignment="Top" Width="97" FontSize="11" />
                <TextBlock Height="34" HorizontalAlignment="Left" Margin="6,16,0,0" Name="textBlock4" Text="Threat severity damping factor:" TextWrapping="Wrap" VerticalAlignment="Top" Width="89" FontSize="11" />
                <RichTextBox Height="24" Margin="195,47,39,229" Background="{x:Null}" BorderBrush="{x:Null}" IsReadOnly="True">
                    <FlowDocument>
                        <Paragraph>
                            k<Run FontSize="9" BaselineAlignment="Subscript">G</Run>
                        </Paragraph>
                    </FlowDocument>
                </RichTextBox>
                
                <!--<Label Height="28" HorizontalAlignment="Left" Margin="196,49,0,0" Name="label8" VerticalAlignment="Top">
                    <Image Source="images\utilityConstImg\kg.png" Width="16" Height="15" />
                </Label>-->
                <Grid Height="181" HorizontalAlignment="Left" Margin="8,88,0,0" Name="grid3" VerticalAlignment="Top" Width="253">
                    <d3:ChartPlotter LegendVisible="False" Name="plotter3">
                        <!--<d3:Header Content="U(Generality of info.)" FontFamily="Georgia" FontSize="12" d3:Plotter.IsDefaultElement="True" />-->
                        <d3:VerticalAxisTitle Content="threat severity" FontFamily="Segoe UI" FontSize="11" d3:Plotter.IsDefaultElement="True" />
                        <d3:HorizontalAxisTitle Content="Obfuscation of attribute. (Ga)" FontFamily="Segoe UI" FontSize="11" d3:Plotter.IsDefaultElement="True" />
                    </d3:ChartPlotter>
                </Grid>
                <CheckBox Content="Exp" Height="16" HorizontalAlignment="Left" Margin="201,22,0,0" Name="gen_att_exp_cb" VerticalAlignment="Top" Checked="cb_Checked" Unchecked="cb_Checked" />
            </Grid>
        </GroupBox>
        <!--<RadioButton Content="additive" FontSize="11" GroupName="utility_form_gp" Height="16" HorizontalAlignment="Right" IsChecked="True" Margin="0,4,194,0" Name="radioButton7" VerticalAlignment="Top" />
        <RadioButton Content="multilinear" FontSize="11" GroupName="utility_form_gp" Height="16" HorizontalAlignment="Left" Margin="734,4,0,0" Name="radioButton8" VerticalAlignment="Top" />
        <Grid Height="85" HorizontalAlignment="Left" Margin="549,18,0,0" Name="grid1" VerticalAlignment="Top" Width="361">
            <Grid.ColumnDefinitions>
                <ColumnDefinition Width="16*" />
                <ColumnDefinition Width="345*" />
            </Grid.ColumnDefinitions>
            <Label Height="28" HorizontalAlignment="Left" Margin="9,4,0,0" Name="label9" VerticalAlignment="Top" Grid.ColumnSpan="2">
                <Image Source="images\utilityConstImg\kct.png" Width="19" Height="17" />
            </Label>
            <Label Height="28" HorizontalAlignment="Left" Margin="10,30,0,0" Name="label10" VerticalAlignment="Top" Grid.ColumnSpan="2">
                <Image Source="images\utilityConstImg\kcg.png" Width="19" Height="17" />
            </Label>
            <Label Height="28" HorizontalAlignment="Left" Margin="10,55,0,0" Name="label11" VerticalAlignment="Top" Grid.ColumnSpan="2">
                <Image Source="images\utilityConstImg\kcv.png" Width="19" Height="17" />
            </Label>
            <Label Height="28" HorizontalAlignment="Left" Margin="104,29,0,0" Name="label12" VerticalAlignment="Top" Grid.Column="1">
                <Image Source="images\utilityConstImg\kctg.png" Width="26" Height="18"/>
            </Label>
            <Label Height="28" HorizontalAlignment="Left" Margin="103,55,0,0" Name="label13" VerticalAlignment="Top" Grid.Column="1">
                <Image Source="images\utilityConstImg\kctv.png" Width="26" Height="18"/>
            </Label>
            <Label Height="28" HorizontalAlignment="Left" Margin="221,55,0,0" Name="label14" VerticalAlignment="Top" Grid.Column="1">
                <Image Source="images\utilityConstImg\kctvg.png" Width="30" Height="18" />
            </Label>
            <TextBox FontSize="11" Height="23" HorizontalAlignment="Left" Margin="22,6,0,0" Name="kct_tb" VerticalAlignment="Top" Width="69" IsEnabled="False" Grid.Column="1" />
            <TextBox FontSize="11" Height="23" HorizontalAlignment="Left" Margin="22,32,0,0" Name="kcg_tb" VerticalAlignment="Top" Width="69" IsEnabled="False" Grid.Column="1" />
            <TextBox FontSize="11" Height="23" HorizontalAlignment="Left" Margin="22,58,0,0" Name="kcv_tb" VerticalAlignment="Top" Width="69" IsEnabled="False" Grid.Column="1" />
            <TextBox FontSize="11" Height="23" HorizontalAlignment="Left" Margin="137,32,0,0" Name="kctg_tb" VerticalAlignment="Top" Width="75" IsEnabled="False" Grid.Column="1" />
            <TextBox FontSize="11" Height="23" HorizontalAlignment="Left" Margin="137,58,0,0" Name="kctv_tb" VerticalAlignment="Top" Width="75" IsEnabled="False" Grid.Column="1" />
            <TextBox FontSize="11" Height="23" HorizontalAlignment="Left" Margin="262,57,0,0" Name="kctvg_tb" VerticalAlignment="Top" Width="75" IsEnabled="False" Grid.Column="1" />
        </Grid>-->
        <GroupBox Header="Adaptation threshold" Height="171" HorizontalAlignment="Left" Margin="582,1,0,0" Name="groupBox5" VerticalAlignment="Top" Width="523">
            <Grid Height="143" Width="497">
                <!--NB that utility has been swapped for inverse of threat severity-->
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="447,117,0,0" Name="textBox19" Text="Ignore" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="46" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Right" IsReadOnly="True" Margin="0,79,447,0" Name="textBox22" Text="Prevent:" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="47" />
                <Label Content="0.0        0.1        0.2       0.3        0.4       0.5        0.6        0.7       0.8        0.9       1.0" FontSize="11" Height="27" HorizontalAlignment="Left" Margin="52,20,0,0" Name="label15" VerticalAlignment="Top" Width="405" />
                <Slider Height="23" HorizontalAlignment="Left" Margin="58,40,0,0" Name="ignore_slider" VerticalAlignment="Top" Width="382" TickPlacement="TopLeft" TickFrequency="1" Minimum="0" Maximum="10" IsSnapToTickEnabled="True" Value="0" ValueChanged="ignoreSliderValueChanged" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="447,39,0,0" Name="textBox20" Text="Prevent" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="46" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" HorizontalAlignment="Left" IsReadOnly="True" Margin="7,117,0,1" Name="textBox21" Text="React:" TextWrapping="Wrap" VerticalContentAlignment="Center" Width="37" />
                <Label Content="0.0        0.1        0.2       0.3        0.4       0.5        0.6        0.7       0.8        0.9       1.0" FontSize="11" Height="27" HorizontalAlignment="Left" Margin="52,59,0,0" Name="label16" VerticalAlignment="Top" Width="405" />
                <Slider Height="23" HorizontalAlignment="Left" IsSnapToTickEnabled="True" Margin="58,79,0,0" Maximum="10" Minimum="0" Name="react_slider" TickFrequency="1" TickPlacement="TopLeft" Value="0" VerticalAlignment="Top" Width="382" ValueChanged="reactSliderValueChanged" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="447,79,0,0" Name="textBox23" Text="React" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="46" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="-2,39,0,0" Name="textBox24" Text="Terminate:" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="58" />
                <Label Content="0.0        0.1        0.2       0.3        0.4       0.5        0.6        0.7       0.8        0.9       1.0" FontSize="11" Height="27" HorizontalAlignment="Left" Margin="52,97,0,0" Name="label17" VerticalAlignment="Top" Width="405" />
                <Slider Height="23" HorizontalAlignment="Left" IsSnapToTickEnabled="True" Margin="58,117,0,0" Maximum="10" Minimum="0" Name="prevent_slider" TickFrequency="1" TickPlacement="TopLeft" Value="0" VerticalAlignment="Top" Width="382" ValueChanged="preventSliderValueChanged" IsEnabled="True" />
                <RichTextBox Background="#FFEEFFFF" BorderBrush="{x:Null}" FontSize="11" Foreground="#FF1713FD" IsReadOnly="True" Margin="1,1,259,0" Height="28" VerticalAlignment="Top">
                    <RichTextBox.Document>
                        <FlowDocument>
                            <Paragraph>i = U(C
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="Δ" /> , V
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> , T
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="f" /> , G
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> )
                            </Paragraph>
                        </FlowDocument>
                    </RichTextBox.Document>
                </RichTextBox>
            </Grid>
        </GroupBox>
        <GroupBox Header="Summary" Height="141" HorizontalAlignment="Left" Margin="12,337,0,0" Name="groupBox6" VerticalAlignment="Top" Width="1093">
            <Grid Height="110" Width="1069">
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="5,25,0,0" Name="textBox2" Text="AdaptationRules:" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="90" Foreground="#FF40404B" FontWeight="SemiBold" />
                <StackPanel Margin="0,0,0,136"></StackPanel>
                <RichTextBox FontSize="11" Margin="1,48,529,0" Background="#FFEEFFFF" Foreground="#FF1713FD" BorderBrush="{x:Null}" IsReadOnly="True" Height="62" VerticalAlignment="Top">
                    <RichTextBox.Document>
                        <FlowDocument>
                            <Paragraph>If: U(V
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> , G
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> )≤
                                <Run Name="ignoreRun"  FontSize="9" Text="X" /> Then TERMINATE
                                <Run  FontSize="9" Text="                  " /> 
                                If:
                                <Run  Name="reactRun1" FontSize="9" Text="X" /> &lt;
                                U(V<Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> , 
                                G<Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> ) ≤
                                <Run  Name="reactRun2" FontSize="9" Text="Y" /> Then PREVENT
                                <LineBreak />
                                <LineBreak />
                                If:
                                <Run  Name="reactRun3" FontSize="9" Text="Y" /> &lt;U( V
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> ,  G
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> )≤
                                <Run Name="preventRun" FontSize="9" Text="Z" /> Then REACT
                                <Run  FontSize="9" Text="                     " />
                                If:U(V
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> , G
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="a" /> )>
                                <Run Name="preventRun1" FontSize="9" Text="Z" /> Then IGNORE
                            </Paragraph>
                        </FlowDocument>
                    </RichTextBox.Document>
                </RichTextBox>
                <RichTextBox FontSize="11" BorderBrush="{x:Null}" IsReadOnly="True" Margin="1,1,0,0" Height="27" VerticalAlignment="Top">
                    <FlowDocument>
                        <Paragraph>ExpectedUtility: U(C
                            <Run FontSize="9" BaselineAlignment="Subscript">Δ</Run> , 
                                V
                            <Run FontSize="9" BaselineAlignment="Subscript">a</Run> ,
                                T
                            <Run FontSize="9" BaselineAlignment="Subscript">f</Run> ,
                                G
                            <Run FontSize="9" BaselineAlignment="Subscript">a</Run> )  =
                                k
                            <Run FontSize="9" BaselineAlignment="Subscript">CΔ</Run> U(C
                            <Run FontSize="9" BaselineAlignment="Subscript">Δ</Run> )  +
                                k
                            <Run FontSize="9" BaselineAlignment="Subscript">v</Run> U(V
                            <Run FontSize="9" BaselineAlignment="Subscript">a</Run> )  +
                                k
                            <Run FontSize="9" BaselineAlignment="Subscript">T</Run> U(T
                            <Run FontSize="9" BaselineAlignment="Subscript">f</Run> )  +
                                k
                            <Run FontSize="9" BaselineAlignment="Subscript">G</Run> U(G
                            <Run FontSize="9" BaselineAlignment="Subscript">a</Run> )
                        </Paragraph>
                    </FlowDocument>
                </RichTextBox>
                <RichTextBox Background="#FFEEFFFF" BorderBrush="{x:Null}" FontSize="11" Foreground="#FF1713FD" IsReadOnly="True" Margin="0,48,13,0" HorizontalAlignment="Right" Width="504" Height="60" VerticalAlignment="Top">
                    <RichTextBox.Document>
                        <FlowDocument>
                            <Paragraph>If: IGNORE and T
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="f" /> >
                                <Run FontSize="9" Name="metaReactRun" Text="X" /> Then REACT
                                <LineBreak />
                                <LineBreak />
                                If: REACT and T
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="f" /> >
                                <Run FontSize="9" Name="metaPreventRun" Text="Y" /> Then PREVENT
                                <Run  FontSize="9" Text="               " />
                                If: PREVENT and T
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="f" /> >
                                <Run FontSize="9" Name="metaTerminateRun" Text="Z" /> Then TERMINATE
                                <LineBreak />                              
                                
                            </Paragraph>
                        </FlowDocument>
                    </RichTextBox.Document>
                </RichTextBox>
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Foreground="#FF47474E" HorizontalAlignment="Left" IsReadOnly="True" Margin="558,29,0,0" Name="textBox4" Text="Meta-AdaptationRules:" TextWrapping="Wrap" VerticalContentAlignment="Center" Width="132" Height="21" VerticalAlignment="Top" FontWeight="SemiBold" />
            </Grid>
        </GroupBox>
        <GroupBox Header="Meta-Adaptation threshold" Height="171" HorizontalAlignment="Left" Margin="583,170,0,0" Name="groupBox1" VerticalAlignment="Top" Width="523">
            <Grid Height="143" Width="497">
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="6,38,0,0" Name="textBox3" Text="Ignore:" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="46" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="439,77,0,0" Name="textBox5" Text="Prevent" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="86" />
                <Label Content=" 0          1           2          3           4          5          6           7          8          9          10" FontSize="11" Height="27" HorizontalAlignment="Left" Margin="50,20,0,0" Name="label2" VerticalAlignment="Top" Width="405" />
                <Slider Height="23" HorizontalAlignment="Left" IsSnapToTickEnabled="True" Margin="56,40,0,0" Maximum="10" Minimum="0" Name="metaReactSlider" TickFrequency="1" TickPlacement="TopLeft" Value="0" ValueChanged="metaReactSliderValueChanged" VerticalAlignment="Top" Width="382" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="5,115,0,0" Name="textBox6" Text="Prevent:" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="46" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="439,38,0,0" Name="textBox7" Text="React" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="86" />
                <Label Content=" 0          1           2          3           4          5          6           7          8          9          10" FontSize="11" Height="27" HorizontalAlignment="Left" Margin="50,59,0,0" Name="label3" VerticalAlignment="Top" Width="405" />
                <Slider Height="23" HorizontalAlignment="Left" IsSnapToTickEnabled="True" Margin="56,79,0,0" Maximum="10" Minimum="0" Name="metaPreventSlider" TickFrequency="1" TickPlacement="TopLeft" Value="0" ValueChanged="metaPreventSliderValueChanged" VerticalAlignment="Top" Width="382" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" HorizontalAlignment="Left" IsReadOnly="True" Margin="6,79,0,0" Name="textBox9" Text="React:" TextWrapping="Wrap" VerticalContentAlignment="Center" Width="46" Height="25" VerticalAlignment="Top" />
                <TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" Height="25" HorizontalAlignment="Left" IsReadOnly="True" Margin="439,114,0,0" Name="textBox10" Text="Terminate" TextWrapping="Wrap" VerticalAlignment="Top" VerticalContentAlignment="Center" Width="78" />
                <Label Content=" 0          1           2          3           4          5          6           7          8          9          10" FontSize="11" Height="27" HorizontalAlignment="Left" Margin="50,97,0,0" Name="label5" VerticalAlignment="Top" Width="405" />
                <Slider Height="23" HorizontalAlignment="Left" IsEnabled="True" IsSnapToTickEnabled="True" Margin="56,117,0,0" Maximum="10" Minimum="0" Name="metaTerminateSlider" TickFrequency="1" TickPlacement="TopLeft" Value="0" ValueChanged="metaTerminateSliderValueChanged" VerticalAlignment="Top" Width="382" />
                <RichTextBox Background="#FFEEFFFF" BorderBrush="{x:Null}" FontSize="11" Foreground="#FF1713FD" Height="28" IsReadOnly="True" Margin="1,1,259,0" VerticalAlignment="Top">
                    <RichTextBox.Document>
                        <FlowDocument>
                            <Paragraph>Threat Frequency = T
                                <Run BaselineAlignment="Subscript" FontSize="9" Text="f" />
                            </Paragraph>
                        </FlowDocument>
                    </RichTextBox.Document>
                </RichTextBox>
            </Grid>
        </GroupBox>
        <Button Content="Close" Height="23" HorizontalAlignment="Left" Margin="1062,475,0,0" Name="close_b" Style="{StaticResource LinkButton}" VerticalAlignment="Top" Width="37" Click="close_b_Click" />
        <!--<TextBox Background="#FFEEFFFF" BorderThickness="0" FontSize="11" HorizontalAlignment="Left" IsReadOnly="True" Margin="553,1,0,400" Name="textBox12" Text="Expected Utility form:" TextWrapping="Wrap" VerticalContentAlignment="Center" Width="111" />-->
    </Grid>
</Window>